● Axiome d'extensionalité axiome fondamental de la théorie des ensembles, selon lequel deux ensembles contenant les mêmes éléments sont égaux. (Chaque ensemble est donc complètement déterminé et parfaitement défini par la donnée de ses éléments.)
Encyclopédie Universelle. 2012.
extensionalité — [ ɛkstɑ̃sjɔnalite ] n. f. • XXe; de extension ♦ Log. Caractère de ce qui est extensionnel. ● extensionalité nom féminin Axiome d extensionalité, axiome fondamental de la théorie des ensembles, selon lequel deux ensembles contenant les mêmes… … Encyclopédie Universelle
Couple (Mathématiques) — Pour les articles homonymes, voir Couple. En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé. Le couple des deux objets a et b est noté (a,b). Si a et b sont distincts le couple (a,b) est distinct… … Wikipédia en Français
Couple (mathématique) — Couple (mathématiques) Pour les articles homonymes, voir Couple. En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé. Le couple des deux objets a et b est noté (a,b). Si a et b sont distincts le… … Wikipédia en Français
Couple (mathématiques) — Pour les articles homonymes, voir Couple. En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé. Le couple des deux objets a et b est noté (a,b). Si a et b sont distincts le couple (a,b) est distinct… … Wikipédia en Français
Doublet (mathématiques) — Couple (mathématiques) Pour les articles homonymes, voir Couple. En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé. Le couple des deux objets a et b est noté (a,b). Si a et b sont distincts le… … Wikipédia en Français
Logique mathématique — La logique mathématique, ou logique formelle, est une discipline des mathématiques introduite à la fin du XIXe siècle et qui s est donnée comme objet l étude des mathématiques en tant que langage. Les objets fondamentaux de la logique… … Wikipédia en Français
intensionnel — ● intensionnel, intensionnelle adjectif Se dit de toute entité, de toute formulation qui ne satisfait pas à l axiome d extensionalité. (Par exemple, les propositions sont des objets intensionnels, par opposition aux théories, aux langages.) ●… … Encyclopédie Universelle
intensionnelle — ● intensionnel, intensionnelle adjectif Se dit de toute entité, de toute formulation qui ne satisfait pas à l axiome d extensionalité. (Par exemple, les propositions sont des objets intensionnels, par opposition aux théories, aux langages.) ●… … Encyclopédie Universelle
Theorie des ensembles de von Neumann-Bernays-Godel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Theorie des ensembles de von Neumann–Bernays–Godel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
